-
1 predicate variable
-
2 predicate variable
The English-Russian dictionary general scientific > predicate variable
-
3 predicate variable
Большой англо-русский и русско-английский словарь > predicate variable
-
4 predicate variable
Математика: предикатная переменная -
5 predicate variable
(mat) variabilă predicativă -
6 predicate variable
English-Russian dictionary of computer science and programming > predicate variable
-
7 predicate variable
логика -
8 predicate variable
-
9 predicate variable
English-Russian dictionary of computer science > predicate variable
-
10 predicate
логика1) предикат, сказуемое || предикатный2) утверждение || утверждать• -
11 variable
1) переменная2) изменяемый; переменный; регулируемый•- additional variable
- allocated variable
- alphanumeric string variable
- alphameric string variable
- anonimous variable
- apparent variable
- artificial variable
- attached variable
- automatic variable
- auxiliary variable
- based variable
- basic variable
- Boolean variable
- bound variable
- chance variable
- character variable
- compile time variable
- complemented variable
- conditional variable
- control variable
- controlled variable
- decision variable
- dependent variable
- design variable
- digital variable
- dummy variable
- element variable
- endogenous variable - exogenous variable
- file-name variable
- file variable
- fixed variable
- free variable
- fuzzy variable
- global variable
- independent variable
- induction variable
- input variable - key variable
- label variable
- local variable
- logical variable
- logic variable
- loop-control variable
- loop variable
- main variable
- manipulated variable
- master variable
- metalinguistic variable
- missing variable
- morphic variable
- multicharacter variable
- mutually independent variables
- noncontrollable variable
- normalized variable
- notation variable
- operator variable
- output variable
- pointer variable
- predicate variable
- private variable
- process variable
- quantified variable
- random variable
- real variable
- regulated variable
- scalar variable
- selected variable
- shared variable
- simple variable
- slack variable
- slave variable
- state variable
- statement label variable
- status variable
- stochastic variable
- structure variable
- subscripted variable
- switching variable
- switch variable
- syntactic variable
- system variable
- task variable
- temporary variable
- ternary-valued variable
- top variable
- two-state variable
- two-valued variable
- unassigned variable
- unbound variable
- uncomplemented variable
- uncontrollable variable
- undeclared variable
- undefined variable
- uninitialized variable
- unregulated variable
- unrestricted variableEnglish-Russian dictionary of computer science and programming > variable
-
12 variable
1) переменная (величина) || переменный2) изменчивый3) изменяемый; варьируемый4) регулируемый•variable unrestricted in sign — переменная, не ограниченная в знаке
- absolutely integrable variable - anonymous free variable - complex free variable - complex random variable - discontinuous variable - discrete random variable - discrete variable variable - discrete variable - essentially free variable - excessive random variable - exchangeable random variables - generalized random variable - geometric random variable - infinitesimal random variable - jointly normal random variables - linguistic random variable - multinomial random variable - multinormal random variable - multiplicative random variable - mutually independent random variables - nonanticipative random variable - normed random variable - number variable - optimal stopping variable - orthonormal random variables - pairwise independent random variables - spatial variable - symmetrized random variable - two-state variable - two-valued variable - uniformly limited variableto separate variables — мат. разделять переменные
-
13 predicate
1) вчт предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами 2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- predicate with free variable
- algebraic predicate
- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicate -
14 predicate
1) вчт. предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- predicate of predicates
- predicate with free variable
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicateThe New English-Russian Dictionary of Radio-electronics > predicate
-
15 predicate
1) предикатфункция, возвращающая логическое значение (logical value). В логическом программировании предикат определяет свойство или соотношение его параметров, приводимых в круглых скобках. Параметры предиката обычно обозначают объекты некоторой предметной области или их свойства. Предикат однозначно определяется именем и числом аргументов. Два предиката с одинаковым именем, но различным числом аргументов, считаются различными. Порядок аргументов предиката связан со смыслом описываемого им соотношения и поэтому не изменяем3) сказуемоеАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > predicate
-
16 variable predicate
Большой англо-русский и русско-английский словарь > variable predicate
-
17 predicate with free variable
Математика: предикат со свободной переменнойУниверсальный англо-русский словарь > predicate with free variable
-
18 variable predicate
Математика: переменный предикат -
19 predicate with free variable
English-Russian electronics dictionary > predicate with free variable
-
20 predicate with free variable
The New English-Russian Dictionary of Radio-electronics > predicate with free variable
См. также в других словарях:
Predicate variable — In first order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specifically assigned any particular relation (or meaning). In first order logic (FOL) they can be more… … Wikipedia
predicate variable — noun logic : a variable for which a predicate may be substituted … Useful english dictionary
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
variable — (logic) A fundamental notion of modern logic. Intuitively, suppose we have a class of objects about which we might be interested (a domain), and we start with a simple sentence ‘Jane is hungry’. We then strike out mention of Jane, leaving a gap… … Philosophy dictionary
Predicate logic — In mathematical logic, predicate logic is the generic term for symbolic formal systems like first order logic, second order logic, many sorted logic or infinitary logic. This formal system is distinguished from other systems in that its formulas… … Wikipedia
Predicate (logic) — Sometimes it is inconvenient or impossible to describe a set by listing all of its elements. Another useful way to define a set is by specifying a property that the elements of the set have in common. The notation P(x) is used to denote a… … Wikipedia
Functional predicate — In formal logic and related branches of mathematics, a functional predicate, or function symbol, is a logical symbol that may be applied to an object term to produce another object term.Functional predicates are also sometimes called mappings ,… … Wikipedia
Syntactic predicate — A syntactic predicate specifies the syntactic validity of applying a production in a formal grammar and is analogous to a semantic predicate that specifies the semantic validity of applying a production. It is a simple and effective means of… … Wikipedia
Monadic predicate calculus — In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… … Wikipedia
n-place predicate — A predicate thought of as an open sentence that requires n variables to be either bound or substituted by a referring expression to make a closed sentence. Thus ‘ x is the daughter of y ’ is a two place predicate, that can be turned into a… … Philosophy dictionary
bound variable — A variable x is bound in a formula if it is within the scope of a quantifier (in first order logic, (∀x ) or (∃x )). Intuitively this means that as the formula is evaluated and x in this occurrence is assigned to an object, the quantified… … Philosophy dictionary